ATIS和道路收费下混合SUE相对于SSO的效率损失

在ATIS和道路收费共同作用的异质性交通网络中,基于用户在信息接受程度与时间价值上的异质性,对用户进行合理分类,所有用户均按照随机方式进行择路.构建了多用户混合随机均衡等价的变分不等式模型,以及多用户随机社会最优模型.以用户感知的总出行成本作为系统性能评价的指标,当收费作为系统总成本的一部分时,分别在时间准则与费用准则下研究了多用户混合随机均衡相对于随机社会最优的绝对效率损失问题.研究结果表明,时间准则下的绝对效率损失上界与路段出行时间函数和混合随机均衡时系统的实际总出行时间有关,费用准则下的绝对效率损失上界还与出行者的社会经济特性和随机社会最优时系统的实际总出行时间有关.     

关于求解随机用户均衡问题的截断拟牛顿型信赖域法研究

信赖域法是一种保证全局收敛性的优化算法,为避免Hessian矩阵的计算,基于拟牛顿校正公式构造了求解带线性等式约束的非线性规划问题的截断拟牛顿型信赖域法.首先给出了截断拟牛顿型信赖域法的构造过程及具体步骤;然后针对随机用户均衡模型中变量和约束的特点对算法进行了修正,并将多种拟牛顿校正公式下所得结果与牛顿型信赖域法的结果进行了比较,结果发现基于对称秩1校正公式的信赖域法更为合适.最后基于数值算例结果得到了一些在算法编程过程中的重要结论,对其它形式信赖域法的编程实现具有一定的参考意义.     

NA随机变量阵列的完全矩收敛性

利用NA随机变量的矩不等式和截尾方法,研究了NA随机变量阵列的完全矩收敛性,给出了证明NA随机变量阵列完全矩收敛性的一些充分条件.所得结果推广了已有文献关于NA随机变量的相应结果.     

稳健残差控制图的构建及在金融时序中的应用

对于呈现自相关和波动族聚性并存的受控过程,通常采用残差控制图对其进行监控。但异常点的存在会对自相关或波动族聚性模型的拟合产生重要影响,使得基于该模型的残差并非独立同分布导致常规残差控制图监控失效。为解决这类问题,本文提出稳健残差控制图。即建立稳健的ARMA模型解决自相关问题从而得到无自相关的残差序列,用稳健的GARCH模型来构建控制图的上下限。模拟和实证研究表明,本文提出的稳健残差控制图具有很好的抗异常点能力并能更好的对金融时间序列的异常现象进行监控。     

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

We consider the problem of computing the set of initial states of a dynamical system such that there exists a control strategy to ensure that the trajectories satisfy a temporal logic specification with probability 1 (almost-surely). We focus on discrete-time, stochastic linear dynamics and specifications given as formulas of the Generalized Reactivity(1) fragment of Linear Temporal Logic over linear predicates in the states of the system. We propose a solution based on iterative abstraction-refinement, and turn-based 2-player probabilistic games. While the theoretical guarantee of our algorithm after any finite number of iterations is only a partial solution, we show that if our algorithm terminates, then the result is the set of all satisfying initial states. Moreover, for any (partial) solution our algorithm synthesizes witness control strategies to ensure almost-sure satisfaction of the temporal logic specification. While the proposed algorithm guarantees progress and soundness in every iteration, it is computationally demanding. We offer an alternative, more efficient solution for the reachability properties that decomposes the problem into a series of smaller problems of the same type. All algorithms are demonstrated on an illustrative case study.     

d‐Fructose‐Decorated Poly(ethylene imine) for Human Breast Cancer Cell Targeting

The high affinity of GLUT5 transporter for d ‐fructose in breast cancer cells has been discussed intensely. In this contribution, high molar mass linear poly(ethylene imine) (LPEI) is functionalized with d ‐fructose moieties to combine the selectivity for the GLUT5 transporter with the delivery potential of PEI for genetic material. The four‐step synthesis of a thiol‐group bearing d ‐fructose enables the decoration of a cationic polymer backbone with d ‐fructose via thiol‐ene photoaddition. The functionalization of LPEI is confirmed by 2D NMR techniques, elemental analysis, and size exclusion chromatography. Importantly, a d ‐fructose decoration of 16% renders the polymers water‐soluble and eliminates the cytotoxicity of PEI in noncancer L929 cells, accompanied by a reduced unspecific cellular uptake of the genetic material. In contrast, the cytotoxicity as well as the cell specific uptake is increased for triple negative MDA‐MB‐231 breast cancer cells. Therefore, the introduction of d ‐fructose shows superior potential for cell targeting, which can be assumed to be GLUT5 dependent.

     

On input-to-state stability for stochastic multi-group models with multi-dispersal

This paper focuses on the input-to-state stability for a general class of stochastic multi-group models with multi-dispersal. By incorporating graph theory with Lyapunov method as well as stochastic analysis techniques, novel sufficient criteria are derived, which are in the form of Lyapunov-type theorem and coefficient-type criterion, respectively. Moreover, to show the applicability of our findings, we employ coefficient-type criterion to analyze the input-to-state stability for stochastic coupled oscillators. Finally, a numerical example and its simulations are offered to demonstrate the validity and feasibility of the theoretic results.